/************************************************************************
 * AIDE - Automata Identification Engine
 * Copyright (C) 2012-2013 Ali Khalili (khalili_DOT_ir_@SIGN_gmail_DOT_com)
 * **********************************************************************
 * This program is free software; you can redistribute it and/or modify it
 * under the terms of the GNU Lesser General Public License (LGPL) published 
 * by the Free Software Foundation; either version 2.1 of the License, or (at your
 * option) any later version. This program is distributed without any
 * warranty. See the GNU Lesser General Public License for more details. 
 * ***********************************************************************
 * File         :     
 * Description  :     
 * Change log   :     	-Date:  Change
 * TODO			:		-add parameter to query and counterexample finding
  ************************************************************************/
using System;


namespace AIDE.Oracles
{
	/// <summary>
	/// Interface for learning log helper for online learning algorithms.
	/// </summary>
	public interface IOracleLogHelper 
	{
		/// <summary>
		/// Befor the equiv query.
		/// </summary>
		void BeforEquivQuery();
		
		/// <summary>
		/// Found the counter example.
		/// </summary>
		void FoundCounterExample();
		
		/// <summary>
		/// After the equiv query.
		/// </summary>
		void AfterEquivQuery();
		
		/// <summary>
		/// Befor the membership query.
		/// </summary>
		void BeforMembQuery();
		
		/// <summary>
		/// After the membership query.
		/// </summary>
		void AfterMemberQuery();
	}
}

